Formal and Practical Techniques...
Paperback
Published 26 Mar 2025
- $164.05
Search for "Drechsler Rolf Drechsler"
86 results
-
-
$5.15off
Polynomial Formal Verification ...
Paperback
Published 16 Sep 2024Save $5.15
- RRP $68.36
- $63.21
-
$19.59off
Evolutionary Algorithms for VLS...
Paperback
Published 03 Dec 2010Save $19.59
- RRP $123.03
- $103.44
-
$15.64off
Advanced Formal Verification
Paperback
Published 07 Dec 2010Save $15.64
- RRP $123.03
- $107.39
-
Formal Verification of Circuits
Paperback
Published 02 Dec 2010- $185.65
-
Formal Verification of Circuits
Hardback
Published 30 Jun 2000- $189.89
-
$18.56off
Evolutionary Algorithms for VLS...
Hardback
Published 31 May 1998Save $18.56
- RRP $123.03
- $104.47
-
Formal and Practical Techniques...
Hardback
Published 01 May 2024- $164.05
-
$12.93off
Advanced Formal Verification
Hardback
Published 31 Jan 2004Save $12.93
- RRP $123.03
- $110.10
-
$6.62off
Verbessertes Virtuelles Prototy...
Hardback | German
Published 02 Jan 2023Save $6.62
- RRP $95.69
- $89.07
-
$9.21off
Erweiterte Virtuelle Prototypen...
Hardback | German
Published 04 Jun 2024Save $9.21
- RRP $95.69
- $86.48
-
$18.34off
High Quality Test Pattern Gener...
Hardback
Published 31 Jan 2012Save $18.34
- RRP $123.03
- $104.69
-
$17.99off
High Quality Test Pattern Gener...
Paperback
Published 20 Oct 2014Save $17.99
- RRP $116.20
- $98.21
-
$14.69off
Towards One-Pass Synthesis
Hardback
Published 31 May 2002Save $14.69
- RRP $123.03
- $108.34
-
Binary Decision Diagrams
Paperback
Published 03 Dec 2010- $185.65
-
Towards One-Pass Synthesis
Paperback
Published 07 Dec 2010- $142.45
-
$14.35off
Evolutionary Algorithms for Emb...
Hardback
Published 30 Nov 2002Save $14.35
- RRP $123.03
- $108.68
-
Advanced BDD Optimization
Paperback
Published 29 Oct 2010- $185.65
-
Advanced BDD Optimization
Hardback
Published 23 Aug 2005- $193.06
-
$19.45off
Evolutionary Algorithms for Emb...
Paperback
Published 23 Oct 2012Save $19.45
- RRP $123.03
- $103.58
-
$2.73off
Noch analog oder lebst Du schon...
Paperback | German
Published 16 Apr 2021Save $2.73
- RRP $20.49
- $17.76
-
$5.82off
Languages, Design Methods, and ...
Hardback
Published 31 May 2016Save $5.82
- RRP $88.85
- $83.03
-
Formal System Verification : St...
Paperback
Published 10 Aug 2018- $164.05
-
$13.64off
Languages, Design Methods, and ...
Paperback
Published 30 May 2018Save $13.64
- RRP $88.85
- $75.21
-
$14.42off
Test Pattern Generation Using B...
Hardback
Published 30 Apr 2009Save $14.42
- RRP $123.03
- $108.61
-
Formal System Verification
Hardback
Published 03 Jul 2017- $179.31
-
Binary Decision Diagrams
Hardback
Published 30 Jun 1998- $193.06
-
$14.82off
Robustness and Usability in Mod...
Hardback
Published 08 Jan 2008Save $14.82
- RRP $123.03
- $108.21
-
$18.52off
Automatisierte Analyse Von Virt...
Hardback | German
Published 20 Sep 2023Save $18.52
- RRP $123.03
- $104.51
-
$5.48off
In-Memory-Computing
Hardback | German
Published 08 Jun 2023Save $5.48
- RRP $109.36
- $103.88
-
$18.19off
Design Für Testbarkeit, Fehlers...
Hardback | German
Published 03 Jan 2024Save $18.19
- RRP $123.03
- $104.84
-
$6.33off
Graphenbasierte Funktionsdarste...
Paperback | German
Published 01 Jan 1998Save $6.33
- RRP $54.67
- $48.34
-
Spectral Techniques in VLSI CAD
Paperback
Published 24 Oct 2012- $185.65
-
Spectral Techniques in VLSI CAD
Hardback
Published 31 Jul 2001- $189.89
-
$19.63off
Quality-Driven SystemC Design
Paperback
Published 16 Oct 2014Save $19.63
- RRP $123.03
- $103.40
-
$18.59off
In-Memory Computing
Paperback
Published 18 Jul 2020Save $18.59
- RRP $123.03
- $104.44
-
$7.03off
Reversible and Quantum Circuits
Hardback
Published 14 Jun 2016Save $7.03
- RRP $61.51
- $54.48
-
$7.79off
Design for Testability, Debug a...
Hardback
Published 20 Apr 2021Save $7.79
- RRP $123.03
- $115.24
-
$14.08off
Automated Analysis of Virtual P...
Paperback
Published 05 May 2021Save $14.08
- RRP $95.69
- $81.61
-
$12.88off
Robustness and Usability in Mod...
Paperback
Published 19 Oct 2010Save $12.88
- RRP $116.20
- $103.32
-
$12.72off
Towards a Design Flow for Rever...
Paperback
Published 18 Oct 2014Save $12.72
- RRP $116.20
- $103.48
-
$19.33off
Debugging at the Electronic Sys...
Paperback
Published 28 Oct 2014Save $19.33
- RRP $123.03
- $103.70
-
$20.08off
Formal Specification Level
Paperback
Published 23 Aug 2016Save $20.08
- RRP $123.03
- $102.95
-
$12.85off
Automated Analysis of Virtual P...
Hardback
Published 05 May 2020Save $12.85
- RRP $95.69
- $82.84
-
$19.19off
In-Memory Computing
Hardback
Published 03 Jun 2019Save $19.19
- RRP $123.03
- $103.84
-
$14.19off
Towards a Design Flow for Rever...
Hardback
Published 18 Aug 2010Save $14.19
- RRP $164.05
- $149.86
-
$17.36off
Formal Verification of Structur...
Paperback
Published 16 Feb 2024Save $17.36
- RRP $109.36
- $92.00
-
$0.41off
Enhanced Virtual Prototyping fo...
Paperback
Published 03 Sep 2023Save $0.41
- RRP $82.02
- $81.61
-
Formal Verification of Structur...
Paperback
Published 15 Feb 2023- $57.30
-
$18.70off
Quality-Driven SystemC Design
Hardback
Published 23 Dec 2009Save $18.70
- RRP $123.03
- $104.33
-
Computer
Paperback | German
Published 03 Mar 2017- $24.53
-
$17.71off
Advanced Boolean Techniques
Hardback
Published 17 Jul 2019Save $17.71
- RRP $123.03
- $105.32
-
$18.59off
Advanced Boolean Techniques
Paperback
Published 14 Aug 2020Save $18.59
- RRP $123.03
- $104.44
-
$8.64off
Design Automation Techniques fo...
Paperback
Published 12 Jan 2019Save $8.64
- RRP $61.51
- $52.87
-
$20.24off
Exact Design of Digital Microfl...
Paperback
Published 05 Jan 2019Save $20.24
- RRP $123.03
- $102.79
-
Automatic Methods for the Refin...
Paperback
Published 11 Jul 2016- $62.91
-
$7.51off
Design Automation Techniques fo...
Hardback
Published 18 Oct 2018Save $7.51
- RRP $61.51
- $54.00
-
$21.58off
Enhanced Virtual Prototyping fo...
Hardback
Published 02 Sep 2022Save $21.58
- RRP $136.71
- $115.13
-
$14.76off
Enhanced Virtual Prototyping
Paperback
Published 16 Oct 2021Save $14.76
- RRP $102.53
- $87.77
-
$7.10off
Natural Language Processing for...
Hardback
Published 01 Sep 2020Save $7.10
- RRP $61.51
- $54.41